Nuprl Definition : ecl-kinds
0,22
postcript
pdf
ecl-kinds(
x
)
== ecl_ind(
x
;
k
,
test
.[
k
];
a
,
b
,
A
,
B
.
A
@
B
;
a
,
b
,
A
,
B
.
A
@
B
;
a
,
b
,
A
,
B
.
A
==
@
B
;
a
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
l
,
A
.
A
)
latex
clarification:
ecl-kinds(
x
)
== ecl_ind(
x
;
k
,
test
.
k
.nil;
a
,
b
,
A
,
B
.
A
@
B
;
a
,
b
,
A
,
B
.
A
@
B
;
a
,
b
,
A
,
B
.
A
==
@
B
;
a
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
l
,
A
.
A
)
latex
Definitions
ecl
ind
,
car
.
cdr
,
nil
,
as
@
bs
FDL editor aliases
ecl-kinds
origin